منابع مشابه
AVAL : Audio - Visual Active Locator
Abstract: Videoconferencing is a growing trend among businesses, as the systems reduce need for travel, in turn reducing cost and carbon footprints, and increasing productivity. There has been steadily increasing growth in the industry. However, the main drawbacks appear to be the large startup cost for equipment and installation, the need for professional IT maintenance and setup, and overall ...
متن کاملAVAL: An Enumerative Method for SAT
We study an algorithm for the SAT problem which is based on the Davis & Putnam procedure. The main idea is to increase the application of the unit clause rule during the search. When there is no unit clause in the set of clauses, our method tries to produce one occuring in the current subset of binary clauses. A literal deduction algorithm is implemented and applied at each branching node of th...
متن کاملLatin-majorization and its linear preservers
In this paper we study the concept of Latin-majorizati-\on. Geometrically this concept is different from other kinds of majorization in some aspects. Since the set of all $x$s Latin-majorized by a fixed $y$ is not convex, but, consists of union of finitely many convex sets. Next, we hint to linear preservers of Latin-majorization on $ mathbb{R}^{n}$ and ${M_{n,m}}$.
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
پژوهش های علوم انسانی نقش جهانجلد ۸، شماره ۱، صفحات ۰-۰
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023